Diagnosis of the Dynamics within an Organisation by Trace Checking of Behavioural Requirements
نویسندگان
چکیده
The main question addressed in this paper is how requirements on the dynamics of an organisation model can be specified and how the dynamics of such an organisation can be formally analysed. A specification language is proposed, and a number of different types of requirements for dynamics at different levels in the organisation are identified. Based on a logical analysis and a software environment to check requirements against traces of the dynamics, a diagnostic method is proposed to analyse the malfunctioning of an organisation, and pinpoint causes of malfunctioning.
منابع مشابه
Organization Models and Behavioral Requirements Specification for Multi-Agent Systems
The main question addressed in this paper is how requirements on the dynamics of a multi-agent systems and individual agents can be related to the dynamics of high level concepts given by an organisation model, such as groups, roles within groups, and role interaction. In terms of these organisational concepts, which abstract from the specific agents assigned to roles, different types of requir...
متن کاملOrganization Models and Behavioural Requirements Specification for Multi-Agent Systems
The main question addressed in this paper is how requirements on the dynamics of a multi-agent systems and individual agents can be related to the dynamics of high level concepts given by an organisation model, such as groups, roles within groups, and role interaction.
متن کاملDynamics Within an Organisation: Temporal Specification, Simulation and Evaluation
A crucial aspect of a multi-agent organisation is its dynamics. In this paper different types of specifications of properties of the dynamics within an organisation are introduced. Supporting tools for specification, simulation and analysis of dynamics within multi-agent organisations have been implemented. 1. INTRODUCTION Multi-agent systems often have complex dynamics, both in human society a...
متن کاملپیشگیری اولیه از دیابت نوع 2
The incidence and prevalence of type2 diabetes mellitus is increasing worldwide. Many believe that type 2 diabetes mellitus is a disease that can be prevented by appropriate interventions in individuals at high risk for the disease. A number of studies have therefore looked at primary prevention during the past decade. Iran’s diabetic population of approximately 2 million people and the warn...
متن کاملThe New Progresses in Zn Requirements of Poultry
There were no considerable up to date on the trace element requirements of commercial poultry in recent years in despite of the progress in their performance traits. One of the more prevalent problems in modern broiler production system which could be attributed to the trace mineral inadequacy is skeletal disorders. Zinc, is an essential trace element which acts as a co-factor in several metalo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001